Writing boolean expressions for logic circuits